Integrální křivka
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Slope_Field.png/250px-Slope_Field.png)
Integrální křivka v matematice je parametrická křivka, která reprezentuje nějaké řešení obyčejné diferenciální rovnice nebo soustavy rovnic. Pokud je diferenciální rovnice reprezentována jako vektorové pole nebo gradientní pole, pak odpovídající integrální křivky jsou tečnami k poli v každém bodě.
Podle povahy a interpretace diferenciálních rovnic nebo vektorového pole jsou integrální křivky známé pod jinými názvy. Ve fyzice jsou integrální křivky elektrického nebo magnetického pole známy jako silokřivky a integrální křivky pro rychlostní pole tekutiny jsou známy jako proudnice. V teorii dynamických systémů se integrální křivky pro diferenciální rovnice, které popisují systém, nazývají trajektorie nebo orbity.
Definice
[editovat | editovat zdroj]Předpokládejme, že F je vektorové pole (tj. vektorová funkce s kartézskými souřadnicemi (F1,F2,...,Fn)) a x(t) je parametrická křivka s kartézskými souřadnicemi (x1(t),x2(t),...,xn(t)). Pak x(t) je integrální křivka funkce F, jestliže je řešením následující autonomní soustavy obyčejných diferenciálních rovnic:
Takovou soustavu rovnic lze zapsat jedinou vektorovou rovnicí
Tato rovnice přesně říká, že tečný vektor ke křivce v libovolném bodě x(t) křivky je právě vektor F(x(t)), tedy že křivka x(t) je v každém bodě tečnou k vektorovému poli F.
Jestliže dané vektorové pole je Lipschitzovsky spojité, pak z Picardovy–Lindelöfovy věty vyplývá, že pro malý čas existuje jednoznačný tok.
Zobecnění na diferencovatelné variety
[editovat | editovat zdroj]Definice
[editovat | editovat zdroj]Nechť M je Banachova varieta třídy Cr pro r ≥ 2. TM jako obvykle označuje totální prostor tečného fibrovaného prostoru M s jeho přirozenou projekcí πM : TM → M danou vztahem
Vektorové pole na M je řez totálního prostoru tečného fibrovaného prostoru TM, tj. zobrazení, které každému bodu variety M přiřadí tečný vektor k M v tomto bodě. Nechť X je vektorové pole na M třídy Cr−1 a nechť p ∈ M. Integrální křivka pro X procházející p v čase t0 je křivka α : J → M třídy Cr−1, jež je definovaná na otevřeném intervalu J reálné osy R obsahujícím t0 a jež splňuje
Vztah k obyčejné diferenciální rovnici
[editovat | editovat zdroj]Výše uvedená definice integrální křivky α pro vektorové pole X, procházející p v čase t0, znamená, že α je lokální řešení obyčejné diferenciální rovnice, resp. její počáteční úlohy
Toto řešení je lokální v tom smyslu, že je definované pouze pro časy v J a ne nezbytně pro všechny t ≥ t0 (natož pro t ≤ t0). Problém důkazu existence a jednoznačnosti integrální křivky je tedy totéž jako hledání řešení obyčejné diferenciální rovnice (počáteční úlohy), a dokazování, že toto řešení je jednoznačné.
Poznámky k časové derivaci
[editovat | editovat zdroj]V předchozím textu označuje α′(t) derivaci α v čase t, neboli „směr, kterým α ukazuje“ v čase t. Z abstraktnějšího úhlu pohledu to je Fréchetova derivace:
Ve speciálním případě, kdy M je nějaká otevřená podmnožina Rn, se jedná o známou derivaci
kde α1, ..., αn jsou souřadnice α vzhledem k obvyklým souřadnicovým směrům.
Totéž lze formulovat ještě abstraktněji v pojmech indukovaných zobrazení. Všimněme si, že totální tečný fibrovaný prostor TJ k J je triviální fibrovaný prostor J × R a že existuje kanonický řez ι v tomto prostoru takový, že ι(t) = 1 (nebo přesněji (t, 1) ∈ ι) pro všechny t ∈ J. Křivka α zavádí zobrazení fibrovaných prostorů (bundle map) α∗ : TJ → TM tak, že následující diagram komutuje:
Pak časová derivace α′ je složení α′ = α∗ o ι a α′(t) je její hodnotou v některém bodě t ∈ J.
Odkazy
[editovat | editovat zdroj]Reference
[editovat | editovat zdroj]V tomto článku byl použit překlad textu z článku Integral curve na anglické Wikipedii.
- LANG, Serge. Differential manifolds. Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc., 1972.